适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

Benchmark value determination of energy efficiency indexes for coal-fired power units based on data mining methods

The operational optimisation of coal-fired power units is important for saving energy and reducing losses in the electric power industry. One of the key issues is how to determine the benchmark values of the energy efficiency indexes of the units. Therefore, a new framework for determining these benchmark values is proposed, based on data mining methods. First, the energy efficiency key performance indicators (KPIs) associated with the net coal consumption rate (NCCR) were selected based on the domain knowledge. Second, the decision-making samples with minimal NCCR were acquired with the fuzzy C-means (FCM) clustering algorithm, and the corresponding clustering centres were employed as the benchmark values. Finally, based on the support vector regression (SVR) algorithm, the target values of the NCCR were obtained with the KPIs as input, and the energy saving potential was evaluated by comparing the target values with the historical values of the NCCR. An actual on-duty 1000 MW unit was taken as study unit, and the results show that the energy saving potential is remarkable when the operators adjust the KPIs based on the calculated benchmark values.     

Smart control of the assembly process with a fuzzy control system in the context of Industry 4.0

Assembly line balancing is important for the efficiency of the assembly process, however, a wide range of disruptions can break the current workload balance. Some researchers explored the task assignment plan for the assembly line balancing problem with the assumption that the assembly process is smooth with no disruption. Other researchers considered the impacts of disruptions, but they only explored the task re-assignment solutions for the assembly line re-balancing problem with the assumption that the re-balancing decision has been made already. There is limited literature exploring on-line adjustment solutions (layout adjustment and production rate adjustment) for an assembly line in a dynamic environment. This is because real-time monitoring of an assembly process was impossible in the past, and it is difficult to incorporate uncertainty factors into the balancing process because of the randomness and non-linearity of these factors. However, Industry 4.0 breaks the information barriers between different parts of an assembly line, since smart, connected products, which are enabled by advanced information and communication technology, can intelligently interact and communicate with each other and collect, process and produce information. Smart control of an assembly line becomes possible with the large amounts of real-time production data in the era of Industry 4.0, but there is little literature considering this new context. In this study, a fuzzy control system is developed to analyze the real-time information of an assembly line, with two types of fuzzy controllers in the fuzzy system. Type 1 fuzzy controller is used to determine whether the assembly line should be re-balanced to satisfy the demand, and type 2 fuzzy controller is used to adjust the production rate of each workstation in time to eliminate blockage and starvation, and increase the utilization of machines. Compared with three assembly lines without the proposed fuzzy control system, the assembly line with the fuzzy control system performs better, in terms of blockage ratio, starvation ratio and buffer level. Additionally, with the improvement of information transparency, the performance of an assembly line will be better. The research findings shed light on the smart control of the assembly process, and provide insights into the impacts of Industry 4.0 on assembly line balancing.     

Co-creation of value and the project context: Towards application on the case of Hinkley Point C Nuclear Power Station

The research analyses decisions as evaluative outcomes regarding project value. The UK-French Hinkley Point C Nuclear Power Station provides the case study. Value is traditionally assessed as inputs and outputs. Here, value is conceptualized as a co-created value proposition at the front-end with implications for realization post-completion. Service-dominant logic (SDL) provides the theoretical lens and contributes to a methodological approach for examining projects. Decision-making outcomes provide the evidence from a range of data sources, including reports and commentaries. The methods are interpretative. The findings show that decision-making extends beyond the time-cost-quality/scope dimensions. The long-term issues regarding value realized are often overlooked. Stakeholders and individual actors have mainly focused upon managing political and financial risks, especially time and cost. The research poses challenges to project management analysis, SDL and research design in assessing evidence. Addressing these issues facilitates a knowledge contribution to SDL theorization and the field of project management.     

All two-input logic gates by a single-stage single electron box

In this paper, the design of all two-input logic gates is presented by only a single-stage single electron box (SEB) for the first time. All gates are constructed based on a same circuit. We have used unique periodic characteristics of SEB to design these gates and present all two-input logic gates (monotonic/non-monotonic, symmetric/non-symmetric) by a single-stage design. In conventional monotonic devices, such as MOSFETs, implementing non-monotonic logic gates such as XOR and XNOR is impossible by only a single-stage design, and a multistage design is required which leads to more complexity, higher power consumption and less speed of the gates. We present qualitative design at first and then detailed designs are investigated and optimised by using our previous works. All designs are verified by a single electron simulator which shows correct operation of the gates.     

Adaptive neuro-fuzzy algorithm applied to predict and control multi-phase flow rates through wellhead chokes

A Takagi-Sugeno adaptive neuro-fuzzy inference system (TSFIS) model is developed and applied to a dataset of wellhead flow-test data for the Resalat oil field located offshore southern Iran, the objective is to assist in the prediction and control of multi-phase flow rates of oil and gas through the wellhead chokes. For this purpose, 182 test data points (Appendix 1) related to the Resalat field are evaluated. In order to predict production flow rate (Q_L) expressed as stock-tank barrels per day (STB/D), this dataset includes four selected input variables: upstream pressure (Pwh); wellhead choke sizes (D64); gas to liquid ratio (GLR); and, base solids and water including some water-soluble oil emulsion (BS&W). The test data points evaluated include a wide range of oil flow rate conditions and values for the four input variables recorded. The TSFIS algorithm applied involves five data processing steps: a) pre-processing, b) fuzzification, c) rules base and adaptive neuro-fuzzy inference engine, d) defuzzification, and e) post-processing of the fuzzy model. The developed TSFIS model for the Resalat oil field database predicted oil flow rate to a high degree of accuracy (root mean square error = 247 STB/D, correlation coefficient = 0.9987), which improves substantially on the commonly used empirical algorithms used for such predictions. TSFIS can potentially be applied in wellhead choke fuzzy controllers to stabilize flow in specific wells based on real-time input data records.     

基于Stateflow电力机车变流器控制设计与实现

某出口型号交流电力机车牵引控制系统要求变流器控制逻辑具备接触器控制、牵引系统数据交互、变流器故障保护、变流器启动自检等功能。针对以上功能,基于MATLAB中的Simulink/Stateflow可视化编程工具进行牵引控制模型的搭建,遵循模块化编程理念,采用较少的程序代码编写实现复杂的逻辑控制模型,生成逻辑清晰的控制功能流程图,进行半实物仿真测试,增强控制模型的可靠性。通过该变流器产品型式试验检验,验证变流器控制逻辑的功能可以满足控制系统的需求。     

Actuator fault tolerant control using adaptive RBFNN fuzzy sliding mode controller for coaxial octorotor UAV

In this paper, a robust controller for a Six Degrees of Freedom (6 DOF) coaxial octorotor helicopter control is proposed in presence of actuator faults. Radial Base Function Neural Network (RBFNN), Fuzzy Logic Control approach (FLC) and Sliding Mode Control (SMC) technique are used to design a controller, named Fault Tolerant Control (FTC), for each subsystem of the octorotor helicopter. The proposed FTC scheme allows avoiding difficult modeling, attenuating the chattering effect of the SMC, reducing the rules number of the fuzzy controller, and guaranteeing the stability and the robustness of the system. The simulation results show that the proposed FTC can greatly alleviate the chattering effect, good tracking in presence of actuator faults.     

重新找回人工智能的可解释性

针对深度神经网络AI研究的可解释性瓶颈，指出刚性逻辑（数理形式逻辑）和二值神经元等价，二值神经网络可转换成逻辑表达式，有强可解释性。深度神经网络一味增加中间层数来拟合大数据，没有适时通过抽象把最小粒度的数据（原子）变成粒度较大的知识（分子），再把较小粒度的知识变成较大粒度的知识，把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理，需把刚性逻辑扩张为柔性命题逻辑（命题级数理辩证逻辑），把二值神经元扩张为柔性神经元，才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果，最后介绍了它们在AI研究中的应用，这是重新找回AI研究强可解释性的最佳途径。     

基于模糊谱聚类的不确定蛋白质相互作用网络功能模块挖掘

针对谱聚类融合模糊C-means（FCM）聚类的蛋白质相互作用（PPI）网络功能模块挖掘方法准确率不高、执行效率较低和易受假阳性影响的问题，提出一种基于模糊谱聚类的不确定PPI网络功能模块挖掘（FSC-FM）方法。首先，构建一个不确定PPI网络模型，使用边聚集系数给每一条蛋白质交互作用赋予一个存在概率测度，克服假阳性对实验结果的影响；第二，利用基于边聚集系数流行距离（FEC）策略改进谱聚类中的相似度计算，解决谱聚类算法对尺度参数敏感的问题，进而利用谱聚类算法对不确定PPI网络数据进行预处理，降低数据的维数，提高聚类的准确率；第三，设计基于密度的概率中心选取策略（DPCS）解决模糊C-means算法对初始聚类中心和聚类数目敏感的问题，并对预处理后的PPI数据进行FCM聚类，提高聚类的执行效率以及灵敏度；最后，采用改进的边期望稠密度（EED）对挖掘出的蛋白质功能模块进行过滤。在酵母菌DIP数据集上运行各个算法可知，FSC-FM与基于不确定图模型的检测蛋白质复合物（DCU）算法相比，F-measure值提高了27.92%，执行效率提高了27.92%；与在动态蛋白质相互作用网络中识别复合物的方法（CDUN）、演化算法（EA）、医学基因或蛋白质预测算法（MGPPA）相比也有更高的F-measure值和执行效率。实验结果表明，在不确定PPI网络中，FSC-FM适合用于功能模块的挖掘。